从零开始,打造自己的STL(一、简述)

简介

对于每一个热爱c++的人来说,STL都是他们日常撸码、高效工作的必定会使用到的标准模板库。STL取用范型的思想,通过模板元编程,去掉了不同型别所带来的差异性,极大的提高了代码的复用性。

既然STL如此强大与方便,我们当然要好好的学习它啊。仅仅停留在使用层面是是远远不够的,我们必须深入到代码内部,详细的了解它内部的工作原理。了解他不只是因为我们作为底层开发者不搞懂原理誓不罢休的精神,更是因为要更好的使用它。相信有过一定模板编程的人来说,都曾今被编译器报的错误震惊过,一看没什么问题啊,怎么瞬间来了二三十个错误。最后找到可能只是一点小小的问题,这就是模板编程强大的背后带来的弊端,它的错误比较难定位,如果我们不懂原理,出了错只能是一头雾水,无从改起。

说了这么多废话,就开始正式介绍STL吧。

STL六大组件

容器:容器这个概念比较重要,平常我们使用STL时接触的最多的就是容器了。故名思议,容器是我们STL中存放数据的地方,它提供各种的数据结构,如vector、list、deque、set、map等。它的主要作用是提供了数据的存放场所。

算法:既然有了容器提供数据的存放之所,那么肯定要有算法来操控这些数据。常见的copy,search,sort,erase算法在这里都有提供。

迭代器:迭代器在STL中扮演者比较重要的角色,它就像胶水一样将容器和算法这两个不相干的东西粘合起来。因为算法要作用在容器上,就必须访问得到容器内部的数据,而访问容器中的数据就是通过迭代器来实现的。这样算法就不需要直接操控容器,从而保持了容器良好的封装性。

容器适配器:这个东东其实是对容器的又一层封装,它改变了容器的接口,使之变的像一个新的容器一样,其底层实现原理完全是调用的容器的接口就称之为容器适配器。如stack,queue都是调用底层deque的接口实现的。这种名词讲起来不是很易懂,到后面看到源码之后就很好理解了

分配器:在STL中,与其说容器是用来存放数据的,不如说它提供了一种数据的存放方式。数据存放的空间是通过分配器进行分配的。这样说着有点绕,说白了。STL将数据空间的分配与释放和数据的存储分离开来,分配器就只负责空间的分配与释放,容器则负责数据的存储

函数对象:又称仿函数,实现了op()的类可以称之为一个函数对象。仿函数给算法提供了极大的便利性,举个栗子:在进行排序的时候,到底是从小到大排,还是从大到小排呢。STL的sort算法默认提供的是less这个仿函数,也就是从小到大排。当然我们也可以提供自己的比较函数来进行排序。

借用STL源码剖析书中的一副图来描述这六大组件之间的关系

mark

简单的介绍了一下STL之后,在后面我们将会正式开始容器部分